Nuprl Definition : d-O 0,22

Outlnk(i)(l) == source(l) = i 
latex



clarification:

Outlnk(i)(l) == source(l) = i  Id 
latex


Definitionssource(l), Id
FDL editor aliasesd-O

origin